1. Formal object-oriented specification using object-Z
Author: Duke, Roger
Library: Central Library of Sharif University of Technology (Tehran)
Subject: ، Object-oriented programming )Computer science(,، Z )Computer program language(
Classification :
QA
76
.
73
.
Z2
.
D85
2000
2. Formal object-oriented specification using object-Z
Author: Duke, Roger
Library: Central Library and Information Center of Ferdowsi University of Mashhad (Khorasan Razavi)
Subject: ، Object-oriented programming )Computer science(,، Z )Computer program language(
Classification :
QA
76
.
73
.
Z2
D85
2000
